contraction rule